Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
651	C:/1_ Research/Copy of My Thesis - Professor version/cuthesis_masters.dvi Add to Reading List Source URL: spectrum.library.concordia.ca Language: English - Date: 2011-10-17 08:17:28 Artificial intelligence Model checkers Ontology Information science Technical communication Model checking Markov chain PRISM model checker Web Ontology Language Semantic Web Information Computing
652	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-02-21 22:17:31 Temporal logic Mathematics Model theory Formal languages Logic in computer science NuSMV Epistemic modal logic Model checking Interpretation Mathematical logic Logic Modal logic
653	Andr´ e Platzer Last updated: December 21, 2014 Contact Information Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-12-22 12:12:58 Formal methods Logic in computer science Automated theorem proving Differential equations Formal verification Model checking Lecture Notes in Computer Science Actor model KeY Theoretical computer science Applied mathematics Mathematics
654	Journal of Reliability and Statistical Studies; ISSN (Print): [removed], (Online):[removed]Vol. 5, Issue Special (2012): [removed]MULTI-STATE SYSTEM ANALYSIS BASED ON MULTIPLE-VALUED DECISION DIAGRAM Elena Zaitseva and V Add to Reading List Source URL: www.jrss.in Language: English - Date: 2012-05-13 09:38:34 Binary decision diagram Model checking Applied mathematics Artificial neuron Algorithm Directed acyclic graph Influence diagram Diagrams Mathematics Boolean algebra
655	Determining Software Models that Are Less Incorrect Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:08:34 Science Theoretical computer science Verification and validation Software development process Software bug Programming language Model checking Formal verification Device driver synthesis and verification Formal methods Software development Software testing
656	Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-09-30 04:09:55 Software development Formal verification Model checking Formal specification Electronic design automation Specification language Verification and validation Software development process Programming language Formal methods Theoretical computer science Science
657	Power, Christopher[removed]Probabilistic symmetry reduction. PhD thesis. http://theses.gla.ac.uk[removed]Copyright and moral rights for this thesis are retained by the author A copy can be downloaded for personal non-comme Add to Reading List Source URL: theses.gla.ac.uk Language: English - Date: 2012-12-10 09:07:52 Theoretical computer science Logic in computer science Applied mathematics Formal verification Group Symmetry Model checking Mathematics
658	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics
659	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2008-01-18 08:51:04 Mathematics Μ operator Symbol Well-formed formula Boolean satisfiability problem Model theory Linear temporal logic Theoretical computer science Logic Metalogic

UPDATE